The Core of Adjoint Functors
نویسنده
چکیده
There is a lot of redundancy in the usual definition of adjoint functors. We define and prove the core of what is required. First we do this in the hom-enriched context. Then we do it in the cocompletion of a bicategory with respect to Kleisli objects, which we then apply to internal categories. Finally, we describe a doctrinal setting.
منابع مشابه
Quasi-Frobenius functors with application to corings
Müller generalized in [12] the notion of a Frobenius extension to left (right) quasi-Frobenius extension and proved the endomorphism ring theorem for these extensions. Recently, Guo observed in [9] that for a ring homomorphism φ : R → S, the restriction of scalars functor has to induction functor S ⊗R − : RM → SM as right ”quasi” adjoint if and only if φ is a left quasi-Frobenius extension. In ...
متن کاملAdjoint functors in graph theory
We survey some uses of adjoint functors in graph theory pertaining to colourings, complexity reductions, multiplicativity, circular colourings and tree duality. The exposition of these applications through adjoint functors unifies the presentation to some extent, and also raises interesting questions.
متن کاملA Concrete Introduction to Categories
1. Categories 2 1.1. First Definition and Examples 2 1.2. An Alternative Definition: The Arrows-Only Perspective 7 1.3. Some Constructions 8 1.4. The Category of Relations 9 1.5. Special Objects and Arrows 10 1.6. Exercises 14 2. Functors and Natural Transformations 16 2.1. Functors 16 2.2. Full and Faithful Functors 20 2.3. Contravariant Functors 21 2.4. Products of Categories 23 3. Natural Tr...
متن کاملAdjoint Functors and Heteromorphisms
Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades, the notion of adjoint functors has moved to centerstage as category theory’s primary tool to characterize what is important in mathematics. Our focus here i...
متن کاملar X iv : m at h / 06 12 66 2 v 2 [ m at h . R A ] 3 S ep 2 00 8 QUASI - FROBENIUS FUNCTORS . APPLICATIONS
We investigate functors between abelian categories having a left adjoint and a right adjoint that are similar (these functors are called quasi-Frobenius functors). We introduce the notion of a quasi-Frobenius bimodule and give a characterization of these bimodules in terms of quasi-Frobenius functors. Some applications to corings and graded rings are presented. In particular, the concept of qua...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012